1. Leveraging Applications of Formal Methods, Verification and Validation
پدیدآورنده: edited by Tiziana Margaria, Bernhard Steffen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer simulation.,Computer system performance.,Software engineering.
2. Messung, Modellierung und Bewertung von Rechensystemen :
پدیدآورنده: herausgegeben von U. Herzog, M. Paterok.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer simulation.,Computer system performance.
رده :
QA76
.
5
H473
1987
